(assert (forall ((q21 (_ BitVec 10)) (q22 (_ BitVec 10)) (q23 (_ BitVec 12))) (= (_ bv0 12) q23)))
(check-sat)
